Nuprl Lemma : dneg_elim
12,41
postcript
pdf
A
:
. Dec(
A
)
(
A
)
A
latex
ProofTree
Definitions
Stable{
P
}
Lemmas
stable
from
decidable
origin
A:
. Dec(A) 
(
A) A
A:. Dec(A) (A) A